Transport spectroscopy of disordered graphene quantum dots etched into a single graphene flake

We present transport measurements on quantum dots of sizes 45, 60 and 80 nm etched with an Ar/O2-plasma into a single graphene sheet, allowing a size comparison avoiding effects from different graphene flakes. The transport gaps and addition energies increase with decreasing dot size, as expected, and display a strong correlation, suggesting the same physical origin for both, i.e. disorder-induced localization in presence of a small confinement gap. Gate capacitance measurements indicate that the dot charges are located in the narrow device region as intended. A dominant role of disorder is further substantiated by the gate dependence and the magnetic field behavior, allowing only approximate identification of the electron-hole crossover and spin filling sequences. Finally, we extract a g-factor consistent with g=2 within the error bars.Comment: 5 pages, 4 (color) figure

Finite time St\"uckelberg interferometry with nanomechanical modes

St\"uckelberg interferometry describes the interference of two strongly coupled modes during a double passage through an avoided energy level crossing. In this work, we experimentally investigate finite time effects in St\"uckelberg interference and provide an exact analytical solution of the St\"uckelberg problem. Approximating this solution in distinct limits reveals uncharted parameter regimes of St\"uckelberg interferometry. Experimentally, we study these regimes using a purely classical, strongly coupled nanomechanical two-mode system of high quality factor. The classical two-mode system consists of the in-plane and out-of-plane fundamental flexural mode of a high stress silicon nitride string resonator, coupled via electric gradient fields. The dielectric control and microwave cavity enhanced universal transduction of the nanoelectromechanical system allows for the experimental access to all theoretically predicted St\"uckelberg parameter regimes. We exploit our experimental and theoretical findings by studying the onset of St\"uckelberg interference in dependence of the characteristic system control parameters and obtain characteristic excitation oscillations between the two modes even without the explicit need of traversing the avoided crossing. The presented theory is not limited to classical mechanical two-mode systems but can be applied to every strongly coupled (quantum) two-level system, for example a spin-1/2 system or superconducting qubit

TarTar: A Timed Automata Repair Tool

We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syntactic repairs of the analyzed model. The suggested repairs include modified values for clock bounds in location invariants and transition guards, adding or removing clock resets, etc. The proposed repairs are guaranteed to eliminate executability of the given TDT, while preserving the overall functional behavior of the system. We give insights into the design and architecture of TarTar, and show that it can successfully repair 69% of the seeded errors in system models taken from a diverse suite of case studies.Comment: 15 pages, 7 figure

Breakdown of the Korringa Law of Nuclear Spin Relaxation in Metallic GaAs

We present nuclear spin relaxation measurements in GaAs epilayers using a new pump-probe technique in all-electrical, lateral spin-valve devices. The measured T1 times agree very well with NMR data available for T > 1 K. However, the nuclear spin relaxation rate clearly deviates from the well-established Korringa law expected in metallic samples and follows a sub-linear temperature dependence 1/T1 ~ T^0.6 for 0.1 K < T < 10 K. Further, we investigate nuclear spin inhomogeneities.Comment: 5 pages, 4 (color) figures. arXiv admin note: text overlap with arXiv:1109.633

Intensive grazing leads to degradation and spatial homogenization of topsoils in two major steppetypes in Inner Mongolia , P .R . China

Introduction Intensive land use and especially overgrazing in semi‐arid grasslands results in degradation of steppe vegetation associated with changes in the amount ,composition ,and turnover of soil organic matter (SOM) . The concurrent degradation of soil structure and destruction of aggregation leads to enhanced soil erosion .The effectof intensive grazing on the amount and composition of SOM was assessed by comparison of grazed and ungrazed plots in Leymus chinensis and Stipa grandis dominated steppe types in Inner Mongolia ,Chin

Haraka v2 – Efficient Short-Input Hashing for Post-Quantum Applications

Recently, many efficient cryptographic hash function design strategies have been explored, not least because of the SHA-3 competition. These designs are, almost exclusively, geared towards high performance on long inputs. However, various applications exist where the performance on short (fixed length) inputs matters more. Such hash functions are the bottleneck in hash-based signature schemes like SPHINCS or XMSS, which is currently under standardization. Secure functions specifically designed for such applications are scarce. We attend to this gap by proposing two short-input hash functions (or rather simply compression functions). By utilizing AES instructions on modern CPUs, our proposals are the fastest on such platforms, reaching throughputs below one cycle per hashed byte even for short inputs, while still having a very low latency of less than 60 cycles. Under the hood, this results comes with several innovations. First, we study whether the number of rounds for our hash functions can be reduced, if only second-preimage resistance (and not collision resistance) is required. The conclusion is: only a little. Second, since their inception, AES-like designs allow for supportive security arguments by means of counting and bounding the number of active S-boxes. However, this ignores powerful attack vectors using truncated differentials, including the powerful rebound attacks. We develop a general tool-based method to include arguments against attack vectors using truncated differentials